1. An introduction to independence for analysts

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory

رده :
QA
9
.
7
.
D35
1987

2. An introduction to independence for analysts

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory

رده :
QA
9
.
7
.
D35
1987

3. Combinatorial Set Theory

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Combinatorial set theory.,Forcing (Model theory)

رده :
E-Book
,

4. Combinatorial set theory

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Combinatorial set theory.,Forcing (Model theory)

رده :
QA
,
248
,.
H238
,
2012

5. Combinatorial set theory

پدیدآورنده:

کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)

موضوع: Combinatorial set theory,Forcing )Model theory(

رده :
QA
248
.
H22C6
2012

6. Combinatorial set theory

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Combinatorial set theory,Forcing (Model theory)

رده :
QA248
.
H25
2012eb

7. Combinatorial set theory

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Combinatorial set theory,Forcing (Model theory)

رده :
E-BOOK

8. Combinatorial set theory: with a gentle introduction to forcing

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)

موضوع: ، Combinatorial set theory,، Forcing )Model theory(

رده :
QA
248
.
H238
C66

9. Combinatorial set theory :with a gentle introduction to forcing

پدیدآورنده :

موضوع : ، Combinatorial set theory,، Forcing )Model theory(

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

10. Combinatorial set theory : with a gentle introduction to forcing

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Combinatorial set theory,، Forcing )Model theory(

رده :
QA
248
.
H25C6

11. Descriptive set theory and definable forcing

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Descriptive set theory,، Forcing )Model theory(,، Continuum hypothesis,، Borel sets

رده :
QA
3
.
A475
no
.
793

12. Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Set theory,، Forcing )Model theory(

رده :
QA
9
.
A1L44
Vol
.
4

13. Forcing idealized

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Descriptive set theory,، Forcing )Model theory(

رده :
QA
248
.
Z37
2008

14. Forcing idealized

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Descriptive set theory,، Forcing )Model theory(

رده :
QA
248
.
Z34F6

15. Intuitionistic logic, model theory and forcing

پدیدآورنده:

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع: ، Model theory,، Axiomatic set theory,، Forcing )Model theory(

رده :
QA
9
.
F56

16. Norms on possibilities I : forcing with trees and creatures

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Set theory,، Forcing )Model theory(

رده :
QA
3
.
A475
no
.
671

17. Proper and improper forcing

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Forcing )Model theory(,، Axiomatic set theory

رده :
QA
9
.
7
.
S54
1998

18. Proper forcing

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Forcing )Model theory(,، Axiomatic set theory

رده :
QA
1
.
L4
v
.
940

19. Proper forcing

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Set theory,Forcing )Model theory(

رده :
QA
3
.
L28
no
.
940

20. The stationary tower :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Forcing (Model theory),Set theory

رده :
QA9
.
7
.
L36
2004